Representing ASN.1 in Z
نویسنده
چکیده
ASN.1 (Abstract Syntax Notation One) has been increasingly used in defining the data structures used in internet security protocols. In this paper we present a framework for translating ASN.1 specification into Z. We use a restricted version of ASN.1, which is however sufficiently powerful to specify important network communication protocols. Finally, we present an example of translation based on the Cryptographic Message Syntax of S/MIME.
منابع مشابه
Programming with ASN.1 Using Polymorphic Types and Type Specialization
A set of object-oriented abstractions is described that permits direct programming with ASN.1 speci ed types. The design and implementation also supports the exible use of di erent encoding rules. The implementation is in C++ and makes use of class templates for representing polymorphic types, class inheritance for type specialization, and typedefs for de ning ASN.1 types as instances of class ...
متن کاملPurification and Properties of an Endo-P-iv-acetylglucosaminidase
An enzyme that hydrolyzes di-N-acetylchitobiose linkages in oligosaccharides and glycoproteins was purified to homogeneity from cultural filtrates of Streptomyces griseus. The molecular weight of the enzyme, determined by sedimentation equilibrium analysis, is 27,200 f ZOO, and it appears to consist of a single polypeptide chain. This apparent endo/3-N-acetylglucosaminidase was completely stabl...
متن کاملAdvances in Integrating Autonomy with Acoustic Communications for Intelligent Networks of Marine Robots: Toby Edwin Schneider
Syntax Notation One Abstract Syntax Notation One (ASN.1) is amature andwidely used standard for abstractly representing data structures (or messages) in a human-readable textual form. It also specifies a variety of rules for encoding data using the ASN.1 structures. In both these areas, ASN.1 is similar to DCCL: DCCL also provides a structure language (based on XML in this case), and a set of e...
متن کاملMapping between ASN.1 and XML
Abstract Syntax Notation One (ASN.1) is a framework for representing tree structured data. It is widely used in communication protocols (e.g., LDAP), security protocols (e.g., X.509), and so on. ASN.1 is designed for e ciency and the data is packed into byte boundaries, and hence is not very readable and is hard to manipulate. Since ASN.1 data is structured data, it should be possible to repres...
متن کاملBinaryTime: An Alternate Format for Representing Date and Time in ASN.1
Status of This Memo This memo defines an Experimental Protocol for the Internet community. It does not specify an Internet standard of any kind. Discussion and suggestions for improvement are requested. Distribution of this memo is unlimited. Abstract This document specifies a new ASN.1 type for representing time: BinaryTime. This document also specifies an alternate to the signing-time attribu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003